<ul class="highscore">
	<li><? if ($selection != 'all') echo anchor("highscore", lang('highscore_all')); else echo '<strong>'.lang('highscore_all').'</strong>'; ?></li>
	<li><? if ($selection != 'bestof') echo anchor("highscore/bestof", lang('highscore_bestof')); else echo '<strong>'.lang('highscore_bestof').'</strong>'; ?></li>
	<li><? if ($selection != 'currentday') echo anchor("highscore/currentday", lang('highscore_currentday')); else echo '<strong>'.lang('highscore_currentday').'</strong>'; ?></li>
</ul>
<ul class="highscore">
	<?php $i=0; foreach($selections as $sel): ?>
		<li title="<? printf(lang('highscore_day'), $sel)?>"><? if ($selection != $sel) echo anchor("highscore/day/".$sel, $sel); else echo '<strong>'.$sel.'</strong>'; ?></li>
	<?php endforeach; ?>
</ul>
<br/>